-
1 Logical Consistency
Indeed, the more rigidly rigorous the pursuit of logical consistency, the more obscure becomes its relevance to actuality. For a high degree of consistency is obtainable only in those areas of knowledge which, like mathematics, approach a high degree of abstraction. But here pure logical consistency is what Whitehead calls "an easy intellectual consistency," i.e. questions about the relevance to actuality, which is where the real difficulties lie, are simply ignored. (Code, 1985)Historical dictionary of quotations in cognitive science > Logical Consistency
-
2 logical consistency
Большой англо-русский и русско-английский словарь > logical consistency
-
3 logical consistency
1) Математика: логическая непротиворечивость2) Вычислительная техника: логическая стойкость [связанность] (объяснение правильности отношений в наборе данных и используемых тестах) -
4 logical consistency
логическая непротиворечивость (стойкость, связанность)например, правильность логических (смысловых) отношений элементов в наборе данных и/или используемых тестахсм. тж. metadataАнгло-русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию. > logical consistency
-
5 logical consistency
-
6 logical consistency
Англо-русский словарь по исследованиям и ноу-хау > logical consistency
-
7 consistency
1) согласованность, непротиворечивость; целостность2) стат. состоятельность3) последовательность, логичность, непротиворечивость4) постоянство5) совместимость; совместность6) консистенция; плотность• -
8 consistency
1) непротиворечивость, согласованность; соответствие2) последовательность, логичность3) совместимость; совместность; единообразие4) постоянство; стабильность5) степень плотности, консистенция, консистентностьАнгло-русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию. > consistency
-
9 logical recovery pending
= LRECPсостояние системы БД, в котором данные и индексные ключи (index key), ссылающиеся на эти данные, не соответствуют друг другу и требуют обеспечения логической непротиворечивости (logical consistency)см. тж. logical recoveryАнгло-русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию. > logical recovery pending
-
10 логическая непротиворечивость
Большой англо-русский и русско-английский словарь > логическая непротиворечивость
-
11 metadata
метаданные, данные о данныхданные, которые определяют и описывают другие данные и процессы; обычные данные становятся метаданными, если они используются подобным образом. Это, в частности2) в СУБД - описания характеристик данных (структуры данных) записи БД. Используются для просмотра данных, их трансформации, а также необходимы средствам инструментальных пакетов, имеющихся у пользователя3) данные о контексте, в котором используется информацияАнгло-русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию. > metadata
-
12 coherence
coherence [kəʊ'hɪərəns](a) (cohesion) adhérence f(b) (logical consistency) cohérence f►► Philosophy coherence theory théorie f de la cohérence -
13 consistence
= consistency1) совместимость; согласованность; непротиворечивость; целостность2) консистенция3) вчт состоятельность (напр. оценки)•- consistence of transaction
- cache consistence
- constrained consistence
- logical consistence
- omega-consistence
- semantic consistence
- syntactic consistence
- universal consistence -
14 consistence
= consistency1) совместимость; согласованность; непротиворечивость; целостность2) консистенция3) вчт. состоятельность (напр. оценки)•- consistence of classifier
- consistence of transaction
- constrained consistence
- logical consistence
- omega-consistence
- semantic consistence
- syntactic consistence
- universal consistenceThe New English-Russian Dictionary of Radio-electronics > consistence
-
15 consistent
adjective1) (compatible) [miteinander] vereinbarbe consistent with something — mit etwas übereinstimmen; mit etwas vereinbar sein
2) (uniform) beständig; gleich bleibend [Qualität]; einheitlich [Vorgehen, Darstellung]* * *[kən'sistənt]1) ((often with with) in agreement (with): The two statements are not consistent; The second statement is not consistent with the first.) vereinbar2) (always (acting, thinking or happening) according to the same rules or principles; the same or regular: He was consistent in his attitude; a consistent style of writing.) gleichmäßig•- academic.ru/15463/consistency">consistency* * *con·sist·ent[kənˈsɪstənt]1. (compatible)▪ to be \consistent with sth mit etw dat vereinbar sein; (in correspondence) mit etw dat übereinstimmen, etw dat entsprechen2. (steady) beständig; way of doing sth gleich bleibend; improvement stetig, ständig; (in uniform manner) einheitlich3. (logical) folgerichtiga \consistent explanation eine logische Erklärung4. (in agreement with principles, aims) konsequent* * *[kən'sIstənt]adj1) konsequent; statements übereinstimmend, miteinander vereinbar; (= logical) argument logisch, folgerichtig; (= constant) failure ständig, stetig2) (= uniform) quality beständig; performance, results gleichbleibend, stetig; method, style einheitlich3)(= in agreement)
to be consistent with sth — einer Sache (dat) entsprechenwhat you're saying now is not consistent with what you said before — was Sie jetzt sagen, widerspricht dem or lässt sich mit dem nicht vereinbaren, was Sie davor gesagt haben
* * *consistent adj1. konsistent, fest, dicht2. fig konsequent:a) folgerichtigwith mit)5. SPORT etc beständig (Leistung etc)* * *adjective1) (compatible) [miteinander] vereinbarbe consistent with something — mit etwas übereinstimmen; mit etwas vereinbar sein
2) (uniform) beständig; gleich bleibend [Qualität]; einheitlich [Vorgehen, Darstellung]* * *adj.beständig (Leistung) adj.dicht adj.fest adj.folgerichtig adj.in Einklang stehend ausdr.konsequent adj.konsistent adj.vereinbar adj.übereinstimmend adj. -
16 theorem
- analytical hierarchy theorem - arithmetical hierarchy theorem - closed range theorem - formally provable theorem - implicit function theorem - initial value theorem - integral representation theorem - local limit theorem - maximal ergodic theorem - mean value theorem - normal form theorem - ratio limit theorem - rational root theorem - second mean value theorem - theorem of consistency proofs - theorem of corresponding states - three line theorem - three series theorem - uniform convergence theorem - uniform ergodic theorem - uniform mean value theoremtheorem implies — из теоремы следует, что…
-
17 check
проверка, контроль (см. тж test); сличение || проверять; контролировать; сличать- check against- check for instructions
- check on accuracy
- check the figures
- accounting check
- arithmetical check
- arithmetic check
- automatic check
- bias check
- block check
- bounds check
- brush-compare check
- built-in check
- bus-out check
- card check
- casting-out-nines check
- check by resubstitution
- compile-time check
- composition check
- consistency check
- continuity check
- control totals check
- copy check
- cross check
- current check
- cycle check
- cyclic check - data-type check
- desk check
- diagnostic check
- differencing check
- digit check
- divide check
- dump check
- duplicate-process check
- duplication check
- echo check
- error check
- even-old check
- even-parity check
- exceed capacity check
- false-code check
- flag check
- forbidden-combination check
- forbidden-digit check
- functional check
- hardware check
- high-low bias check
- hole count check
- horizontal check
- illegal-command check
- imparity check
- improper-command check
- inadmissible character check
- in-line check
- line-by-line check
- logical check
- longitudinal check
- loop check
- machine check
- marginal check
- mod N check
- module-parity check
- modulo N check
- naught check
- negative check
- nondestructive check
- nonexistence code check
- not-null check
- odd-even check
- odd-parity check
- overflow check
- page check
- parity check
- peek-a-boo check
- photocell light check
- postmortem check
- privacy check
- program check
- programmed check
- programming check
- punching check
- punch check
- range check
- read-after-write check
- read-back check
- reasonability check
- reasonableness check
- redundancy error check
- redundancy check
- redundant-data check
- redundant check
- residue check
- reversal check
- rights check
- routine check
- running check
- run-time check
- selection check
- sequence check
- sight check
- sign check
- spacing check
- static check
- sum check
- summation check
- system check
- testability check
- total check
- transfer check
- transverse check
- twin check
- type check
- unallowable code check
- validity check
- vertical check
- wired-in checkEnglish-Russian dictionary of computer science and programming > check
-
18 consistent
[kən'sɪstənt]1) [growth, level, quality] costante; [kindness, help] costante, continuo; [sportsman, playing] regolare2) (repeated) [attempts, demands] ripetuto4) consistent with conforme a o compatibile con [account, belief]* * *[kən'sistənt]2)(always (acting, thinking or happening) according to the same rules or principles; the same or regular: He was consistent in his attitude; a consistent style of writing.)* * *[kən'sɪstənt]1) [growth, level, quality] costante; [kindness, help] costante, continuo; [sportsman, playing] regolare2) (repeated) [attempts, demands] ripetuto4) consistent with conforme a o compatibile con [account, belief] -
19 method
метод; процедура; способ- antithetic variate method - average ordinate method - average range method - binary search method - conjugate directions method - conjugate gradient method - control chart method - conventional milling method - correlation function method - decision function method - differential control method - Feynman diagram method - first approximation method - gradient projection method - iterative method - large sample method - large sieve method - least-squares regression method - less than fully efficient method - linearly implicit method - method of adjoint gradient - method of algebraic addition - method of alternating directions - method of balanced blocks - method of complex numbers - method of confidence intervals - method of conformal mappings - method of conjugate directions - method of conjugate gradients - method of cyclic descent - method of detached coefficients - method of disjunction of cases - method of divided differences - method of electrical images - method of elimination of quantifiers - method of empty ball - method of extreme values - method of false position - method of feasible directions - method of finite differences - method of first approximation - method of first entrance - method of fitting constants - method of fixed points - method of full enumeration - method of generating functions - method of geometric exhaustion - method of indefinite coefficients - method of infinite descent - method of interval bisection - method of least absolute values - method of least distance - method of least likelihood - method of maximum likelihood - method of means and standard deviations - method of medians and extreme values - method of minimal change - method of minimal variance - method of mirror reflections - method of moving frame - method of multiple comparison - method of orthogonal projections - method of paired associates - method of paired comparisons - method of phase integrals - method of projecting cones - method of proportional parts - method of rotating factors - method of semantic tableaux - method of separation of variables - method of simulaneous displacements - method of stationary phase - method of statistical differentials - method of statistical inference - method of steep variations - method of steepest ascent - method of stochastic approximation - method of straightforward iteration - method of successive displacements - method of successive divisions - method of successive elimination - method of transfinite induction - method of unweighted means - method of variable differences - method of variation of parameters - method of weighted residuals - optimum method - parallel tangents method - precision method - random walk method - recursive method - reduced gradient method - reflected wave method - relative method of measurement - sampling method by variables - statistical sampling method - steepest descent method - time average method -
20 principle
1) правило; принцип2) закон3) начало, первооснова, (перво)источник•- distributed maximum principle - least number principle - principle of adiabatic invariance - principle of contraction mapping - principle of extension of inequalities - principle of fixed point - principle of harmonic balance - principle of harmonic measure - principle of hyperbolic measure - principle of least squares - principle of length and area - principle of mathematical induction - principle of maximum likelihood - principle of point estimation - principle of stationary phase - principle of stochastic balance - principle of transfinite induction - principle of unsufficient reason - virtual work principle - weak likelihood principle
- 1
- 2
См. также в других словарях:
Logical positivism — (also known as logical empiricism, scientific philosophy, and neo positivism) is a philosophy that combines empiricism the idea that observational evidence is indispensable for knowledge with a version of rationalism incorporating mathematical… … Wikipedia
Logical truth — is one of the most fundamental concepts in logic, and there are different theories on its nature. A logical truth is a statement which is true and remains true under all reinterpretations of its components other than its logical constants. It is… … Wikipedia
consistency — [kən sis′tən sē] n. pl. consistencies [ML consistentia: see CONSISTENT] 1. a) the condition of holding together; firmness or thickness, as of a liquid b) amount or degree of this [oil of the wrong consistency] 2. agreement; harmony; logical… … English World dictionary
Consistency — For other uses, see Consistency (disambiguation). In logic, a consistent theory is one that does not contain a contradiction.[1] The lack of contradiction can be defined in either semantic or syntactic terms. The semantic definition states that a … Wikipedia
consistency — noun 1 always having the same standard, opinions, etc. ADJECTIVE ▪ absolute, complete ▪ good, great, remarkable ▪ He needs to have better consistency throwing downfield. ▪ … Collocations dictionary
Logical connective — This article is about connectives in classical logic. For connectors in natural languages, see discourse connective. For connectives and operators in other logics, see logical constant. For other logical symbols, see table of logic symbols. In… … Wikipedia
Logical Intuitive Extrovert — The Logical Intuitive Extrovert, LIE, ENTj, the Enterpriser, the Entrepreneur, Jack London, or types. The Logical Intuitive Extrovert is a rational, extroverted, dynamic type whose leading functions are extroverted logic and introverted intuition … Wikipedia
logical — adj. VERBS ▪ appear, be, seem, sound ▪ It all sounds quite logical. ADVERB ▪ extremely, fairly … Collocations dictionary
logical — adj. 1 of logic or formal argument. 2 not contravening the laws of thought, correctly reasoned. 3 deducible or defensible on the ground of consistency; reasonably to be believed or done. 4 capable of correct reasoning. Phrases and idioms: logical … Useful english dictionary
Logical Sensory Extrovert — The Logical Sensory Extrovert, LSE, ESTj, the Director, the Administrator, Sherlock Holmes, Stirlitz, or types. The Logical Sensory Extrovert is a rational, extroverted, dynamic type whose leading functions are extroverted logic and introverted… … Wikipedia
consistency — I (New American Roget s College Thesaurus) n. solidity, density; harmony, correspondence. See agreement, regularity. II (Roget s IV) n. 1. [Harmony] Syn. congruity, agreement, union, correspondence, uniformity, accord, appropriateness, unity,… … English dictionary for students